nextWhileLess : List Bucket, k, U8 -> (U64, U32) where k implements Hash & Eq
nextWhileLess = |buckets, key, shifts| foo
nextWhileLess